$\forall$${\it the\_w}$:World, $l$:IdLnk, $i$:Id, $a$:Action($i$). isrcv($l$;$a$) $\in$ $\mathbb{B}$